/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef __ASM_STAGE2_PGTABLE_H
#define __ASM_STAGE2_PGTABLE_H

#endif
